3

Invited Commentary on “Imaging of Intestinal and Multivisceral Transplantation”

Year:
2018
Language:
english
File:
PDF, 49 KB
english, 2018
4

Lock-free concurrent binomial heaps

Year:
2018
Language:
english
File:
PDF, 965 KB
english, 2018
5

An attack on the Needham-Schroeder public-key authentication protocol

Year:
1995
Language:
english
File:
PDF, 246 KB
english, 1995
6

Probabilistic and prioritized models of timed CSP

Year:
1995
Language:
english
File:
PDF, 2.41 MB
english, 1995
9

Limitations in US Diagnosis of Adenomysosis

Year:
2019
Language:
english
File:
PDF, 90 KB
english, 2019
10

Discovering and correcting a deadlock in a channel implementation

Year:
2019
Language:
english
File:
PDF, 383 KB
english, 2019
18

A Hierarchy of Failures-Based Models

Year:
2004
Language:
english
File:
PDF, 316 KB
english, 2004
19

On CSP Refinement Tests That Run Multiple Copies of a Process

Year:
2009
Language:
english
File:
PDF, 327 KB
english, 2009
20

On Timed Models and Full Abstraction

Year:
2006
Language:
english
File:
PDF, 373 KB
english, 2006
22

Counter Abstraction in the CSP/FDR setting

Year:
2009
Language:
english
File:
PDF, 331 KB
english, 2009
23

Semantic models for information flow

Year:
2004
Language:
english
File:
PDF, 442 KB
english, 2004
29

Specification of communicating processes: temporal logic versus refusals-based refinement

Year:
2008
Language:
english
File:
PDF, 253 KB
english, 2008
30

Using CSP to verify sequential consistency

Year:
1999
Language:
english
File:
PDF, 150 KB
english, 1999
31

Analysing a stream authentication protocol using model checking

Year:
2004
Language:
english
File:
PDF, 263 KB
english, 2004
32

Proofs with graphs

Year:
1996
Language:
english
File:
PDF, 1.11 MB
english, 1996
33

A hierarchy of failures-based models: theory and application

Year:
2005
Language:
english
File:
PDF, 353 KB
english, 2005
34

Using data-independence in the analysis of intrusion detection systems

Year:
2005
Language:
english
File:
PDF, 230 KB
english, 2005
45

Clinical and imaging overview of functional adrenal neoplasms

Year:
2012
Language:
english
File:
PDF, 916 KB
english, 2012
50

CSP-based counter abstraction for systems with node identifiers

Year:
2014
Language:
english
File:
PDF, 804 KB
english, 2014